semi-analytic sequent-like tableau system